$\forall$$i$:Id, $d$:InDecl($i$), $p$:(IdLnk$\times$Id). $d$($p$) $\in$ Type